Internet Archive's in-browser bookreader "theater" requires JavaScript to be enabled. It appears your browser does not have it turned on. Please see your browser settings for this feature.

Abstraction, reformulation, and approximation : 4th international symposium, SARA 2000, Horseshoe Bay, USA, July 26-29, 2000 : proceedings

by: SARA 2000 (2000 : Lake LBJ, Tex.); Choueiry, Berthe Y., 1963-; Walsh, Toby

Publication date: 2000

Topics: Computer science, Artificial intelligence

Publisher: New York : Springer

Collection: folkscanomy_computer_inbox; folkscanomy_computer; folkscanomy; additional_collections

Language: English

Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings
Author: Berthe Y. Choueiry, Toby Walsh
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-67839-7
DOI: 10.1007/3-540-44914-0

Table of Contents:

Partial Completeness of Abstract Fixpoint Checking
An Overview of MAXQ Hierarchical Reinforcement Learning
Recent Progress in the Design and Analysis of Admissible Heuristic Functions
GIS Databases: From Multiscale to MultiRepresentation
An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation
Abstractions for Knowledge Organization of Relational Descriptions
Grid-Based Histogram Arithmetic for the Probabilistic Analysis of Functions
Approximating Data in Constraint Databases
Linearly Bounded Reformulations of Unary Databases
A CSP Abstraction Framework
Interactions of Abstractions in Programming
Reformulation and Approximation in Model Checking
The Lumberjack Algorithm for Learning Linked Decision Forests
Reformulating Propositional Satisfiability as Constraint Satisfaction
Improving the Efficiency of Reasoning Through Structure-Based Reformulation
Using Feature Hierarchies in Bayesian Network Learning
On Reformulating Planning as Dynamic Constraint Satisfaction
Experiments with Automatically Created Memory-Based Heuristics
Abstraction and Phase Transitions in Relational Learning
An Agent-Based Approach to Robust Switching Between Abstraction Levels for Fault Diagnosis

Includes bibliographical references and index